We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a _meta_-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for the (...) object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth’s clause for disjunction instead of Kripke’s). It is this complexity that motivates us to use BI as a case-study for this approach to semantics. (shrink)

Под философией права принято понимать науку о наиболее общих теоретико-мировоззренческих проблемах правоведения и государствоведения. Данная работа посвящена вопросам аксиологии, гносеологии и онтологии права как ключевых элементов.

Volume 29, Issue 4, October-December, Page 278-279.

A systematic, capable, Catholic theory of history, combining historical analysis with constructive argumentation. The author is particularly sensitive to divergent trends in current Catholic and Protestant interpretations, including those of Rahner and Tillich. Though its philosophical content is minimal, the book should be of interest to students seeking a religious perspective on history.—T. E. V.

gl. 1. Ėkofilosofii︠a︡ kak zhiznesokhrani︠a︡i︠u︡shchiĭ kulʹturnyĭ proekt -- gl. 2. Obrazy kulʹtury mira v istoriko-personologicheskom izmerenii -- gl. 3. Borʹba za mir v sovremennom mire : opyt, kont︠s︡ept︠s︡ii, modeli resheniĭ.

This book challenges the widespread assumption of the incompatibility of evolution and the biological design argument. Kojonen analyzes the traditional arguments for incompatibility, and argues for salvaging the idea of design in a way that is fully compatible with evolutionary biology. Relating current views to their intellectual history, Kojonen steers a course that avoids common pitfalls such as the problems of the God of the gaps, the problem of natural evil, and the traditional Humean and Darwinian critiques. The resulting deconstruction (...) of the opposition between evolution and design has the potential to transform this important debate. (shrink)

This is the first of the St. Thomas More lecture series given at Yale, and is written by one of the most noted Catholic intellectual historians. Presented to a general student audience, it traces in fluent style, with allusions in as well as outside of philosophy proper, the gradual decline of the dimension of the divine as a contemporary historical reality. Father Murray concludes that the "Death of God" in our times has brought theology back from preoccupation with correct articulations (...) to the fundamental problem of the "presence" of God in human life as it was understood in Biblical and patristic times.—T. E. V. (shrink)

kn. 1. Muzykovedenie, filosofii͡a iskusstva -- kn. 2. Istorii͡a obrazovanii͡a, problemy pedagogiki -- kn. 3. Istorii͡a i teorii͡a muzyki, istorii͡a ispolnitelʹstava, Metodika i praktika professionalʹnogo obrazovanii͡a.

This book argues that The question, What is religion? is a religious question, that cannot be answered by philosophy. In method, the book is part theological, part philosophical, and part historical, with no clear differentiation between them. It is an interesting specimen of the little-known philosophical school of "presuppositionalism," which has been influenced by recent Dutch Calvinist theologians, including Dooyeweerd.—T. E. V.

_Purpose__._ The article is devoted to the study of the phenomenon of generation, which is a necessary condition for the birth of the modern open society, taking into account the risks that accompany this process. _Theoretical basis._ The research covers a wide range of concepts (K. Mannheim, J. Ortega y Gasset, M. McLuhan, B. Anderson, P. Connerton, etc.), which reveal the temporal aspect of the analysed phenomenon, in particular, the insecurity of its constitution (the risk of a "lost generation") in (...) the horizon of modernity as an unfinished project (J. Habermas), and the growing degree of responsibility associated with the formation of the creative social class. _Originality__._ For the first time in the research literature, the author analyses the connection between the study of the phenomenon of generation and the establishment of a consensus in the modern world on the observance of the rules of win-win games as the value foundation of Western civilization. One of the key points of this process is the processing of the traumas of modernization. The omission of this task in the agenda of the transition society, despite the warnings evident in retrospect, releases the element of resentment, with consequences that can be qualified as an anthropological catastrophe. _Conclusions._ Ukrainian society, opening up to the world and working through the traumas of modernisation (Chornobyl, the Holodomor, the Fall of Lenin), which has become a kind of hermeneutical cycle of healing the "humanitarian aura of the nation" (L. Kostenko), in the process of which new layers such as the creative class appeared on the public scene, has demonstrated the European identity of the Ukrainian community. In the new horizon after 02/24, when, according to A. Yermolenko, it is no longer possible to talk about the postmodern situation, the Ukrainian agenda irreversibly acquires globality and should be rethought in the dimension of the "big time" and its global responsibility. This affects, in particular, the entire legacy of Russian-Soviet modernisation, to the extent that it has become an integral part of modern Ukrainian identity, including such controversial pages as the "Afghan" trauma. (shrink)